Domain-specific Languages and Code Synthesis Using Haskell

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Partial Evaluation for Code Generation from Domain-Specific Languages

Partial Evaluation for Code Generation from Domain-Specific Languages

متن کامل

Reliable software implementation using domain-specific languages

We describe the use of domain-specific languages for expressing critical design values and constraints in a civil engineering CAD software application. Through the use of these specialised languages information that is critical to the correct operation of the software can be expressed in a form that can be easily drafted, verified, and maintained by domain experts (civil engineers) thus minimis...

متن کامل

synthesis of amido alkylnaphthols using nano-magnetic particles and surfactants

we used dbsa and nano-magnetic for the synthesis of amido alkylnaphtols.

15 صفحه اول

Using Ontologies in the Domain Analysis of Domain-Specific Languages

The design stage of domain-specific language development, which includes domain analysis, has not received as much attention compared to the subsequent stage of language implementation. This paper investigates the use of ontology in domain analysis for the development of a domain-specific language. The standard process of ontology development is investigated as an aid to determine the pertinent...

متن کامل

Domain Specific Languages ∗

When most people think of a programming language they think of a general purpose language: one capable of programming any application with relatively the same degree of expressiveness and efficiency. For many applications, however, there are more natural ways to express the solution to a problem than those afforded by general purpose programming languages. As a result, researchers and practitio...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Queue

سال: 2014

ISSN: 1542-7730,1542-7749

DOI: 10.1145/2611429.2617811